@CHARSET "ISO-8859-1";

#menu {
	border: 2px;
	border-color: red;
}